<?php  
require_once('php/util.php');
require_once('php/setup.php');
?>
<!DOCTYPE html>
<html>
<?php
require_once('pages/header.html');
require_once('pages/body.html');
?>        
</html>
